rearrangement theorem